<div>
<body
<pre>

<script src="include.js"></script>
<script>
    test(() => {
        println(`Body element has '<pre' attribute: ${document.body.hasAttribute('<pre')}`);
    });
</script>
